Semantic characterisation of dead control-flow paths
نویسندگان
چکیده
منابع مشابه
Semantic characterisation of dead control-flow paths
Many program verification, testing and performance prediction techniques rely on analysis of statically-identified control-flow paths. However, some such paths may be ‘dead’ because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for identifi...
متن کاملSemantic Identi cation of Dead Control - Flow PathsIan
Many program veriication, testing and performance prediction techniques rely on analysis of statically-identiied control-ow paths. However, some such paths may be semantically`dead' because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for ...
متن کاملPreferential Flow Paths
Laboratory soil column experiments were conducted to study the distribution of preferential flow paths resulting from removal of fine-size clay particles. These experiments specifically studied the influence of clay (kaolinite) percentage in sand-clay mixtures and the effect of hydraulic gradients on pore evolution. Analysis of the effluent during the experiments indicated that clay particles w...
متن کاملcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولRelational Semantic Search: Searching Social Paths on the Semantic Web
This paper presents a system searching for semantic relations between web resources, in our case historical persons. The system is based on the ULAN metadata of some 100,000 persons and organizations.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEE Proceedings - Software
سال: 2001
ISSN: 1462-5970
DOI: 10.1049/ip-sen:20010834